html { 
  padding: 0; margin: 0; 
  background-color: #88f; 
}
body {  
  padding: 1em; margin: 0 5%;
  background-color: white;
  border-left: 16pt solid black;
  border-right: 4pt solid #444;
  border-bottom: 4pt solid #888;
  font-family: arial;
}


dl { margin: 0.5em 0em; }
dl > dt { font-weight: bold; }

div.backlink { 
  margin-top: 1em;
  padding: 0.5em;
  background-color: #eee; 
} 
div.backlink:before { 
  display: block; 
  font-weight: bold;
}

div.jumpto { 
  margin-top: 1em;
  padding: 0.5em;
  background-color: #eee; 
} 
div.jumpto:before { 
  content: "Jump to:";
  display: block; 
  font-weight: bold;
}


div#footer { 
  padding: 2em 0em 0em 0em;
  font-style: italic;
  font-size: 90%;
}
div#footer img.logo { 
  float: right; 
  width: 100px;
  max-width: 25%;
  margin-left: 1em;
}
div#bottom { clear: both; }
